-
Notifications
You must be signed in to change notification settings - Fork 722
New URL for the Profiling page #5819
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
🔗 Helpful Links🧪 See artifacts and rendered test results at hud.pytorch.org/pr/pytorch/executorch/5819
Note: Links to docs will display an error until the docs builds have been completed. ✅ You can merge normally! (1 Unrelated Failure)As of commit 3ac50b6 with merge base 5acd5c9 ( BROKEN TRUNK - The following job failed but were present on the merge base:👉 Rebase onto the `viable/strict` branch to avoid these failures
This comment was automatically generated by Dr. CI and updates every 15 minutes. |
|
This pull request was exported from Phabricator. Differential Revision: D63771297 |
Differential Revision: D63738950
Differential Revision: D63738952
Differential Revision: D63741034
Summary: Pull Request resolved: #5819 This diff is to rename the "sdk-profiling" documentation page to just "profiling". Old URL: https://pytorch.org/executorch/main/sdk-profiling.html New URL: https://pytorch.org/executorch/main/profiling.html Design doc: https://docs.google.com/document/d/1l6DYTq9Kq6VrPohruRFP-qScZDj01W_g4zlKyvqKGF4/edit?usp=sharing Reviewed By: dbort Differential Revision: D63771297
|
This pull request was exported from Phabricator. Differential Revision: D63771297 |
c81eb77 to
3ac50b6
Compare
|
This pull request has been merged in 79b7896. |
|
@pytorchbot cherry-pick --onto release/0.4 -c docs |
Summary: Pull Request resolved: #5819 This diff is to rename the "sdk-profiling" documentation page to just "profiling". Old URL: https://pytorch.org/executorch/main/sdk-profiling.html New URL: https://pytorch.org/executorch/main/profiling.html Design doc: https://docs.google.com/document/d/1l6DYTq9Kq6VrPohruRFP-qScZDj01W_g4zlKyvqKGF4/edit?usp=sharing Reviewed By: dbort Differential Revision: D63771297 fbshipit-source-id: 452fd105d9beca35242a2d60a9869b4ebbc54df1 (cherry picked from commit 79b7896)
Cherry picking #5819The cherry pick PR is at #5845 The following tracker issues are updated: Details for Dev Infra teamRaised by workflow job |
|
@pytorchbot cherry-pick --onto release/0.4 -c docs |
Summary: Pull Request resolved: #5819 This diff is to rename the "sdk-profiling" documentation page to just "profiling". Old URL: https://pytorch.org/executorch/main/sdk-profiling.html New URL: https://pytorch.org/executorch/main/profiling.html Design doc: https://docs.google.com/document/d/1l6DYTq9Kq6VrPohruRFP-qScZDj01W_g4zlKyvqKGF4/edit?usp=sharing Reviewed By: dbort Differential Revision: D63771297 fbshipit-source-id: 452fd105d9beca35242a2d60a9869b4ebbc54df1 (cherry picked from commit 79b7896)
Cherry picking #5819The cherry pick PR is at #5966 The following tracker issues are updated: Details for Dev Infra teamRaised by workflow job |
New URL for the Profiling page (#5819) Summary: Pull Request resolved: #5819 This diff is to rename the "sdk-profiling" documentation page to just "profiling". Old URL: https://pytorch.org/executorch/main/sdk-profiling.html New URL: https://pytorch.org/executorch/main/profiling.html Design doc: https://docs.google.com/document/d/1l6DYTq9Kq6VrPohruRFP-qScZDj01W_g4zlKyvqKGF4/edit?usp=sharing Reviewed By: dbort Differential Revision: D63771297 fbshipit-source-id: 452fd105d9beca35242a2d60a9869b4ebbc54df1 (cherry picked from commit 79b7896) Co-authored-by: Olivia Liu <[email protected]>
Summary:
This diff is to rename the "sdk-profiling" documentation page to just "profiling".
Old URL: https://pytorch.org/executorch/main/sdk-profiling.html
New URL: https://pytorch.org/executorch/main/profiling.html
Design doc: https://docs.google.com/document/d/1l6DYTq9Kq6VrPohruRFP-qScZDj01W_g4zlKyvqKGF4/edit?usp=sharing
Differential Revision: D63771297